Institute of Mathematics and Informatics

Results: 100



#Item
71Artificial intelligence / Ordinal numbers / Science / Mathematics / Completeness / Curry–Howard correspondence / Knowledge representation / Constructible universe / Belief revision

Belief Revision Revisited Ewa Madali´nska-Bugaj1 and Witold Łukaszewicz2 1 Institute of Informatics, Warsaw University, Warsaw, Poland Dept. of Computer Science, Link¨oping University, Sweden and

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2012-02-01 08:50:36
72Functions and mappings / Function / Sheaf / Independence / Inverse function / Mathematics / Abstract algebra / Mathematical logic

arXiv:1406.6878v2 [math.RA] 22 Dec[removed]Division by Zero in Common Meadows∗ Jan A. Bergstra and Alban Ponse Section Theory of Computer Science Informatics Institute, Faculty of Science

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-12-22 23:05:50
73Information technology / National University of Uzbekistan / Tashkent / Technology / Asia / Communication / Educational technology / Information and communication technologies in education

INSTITUTE OF MATHEMATICS NATIONAL UNIVERSITY OF UZBEKISTAN GRID & BioInformatics LABORATORY OF MEDICAL INFORMATICS

Add to Reading List

Source URL: www.eeca-ict.eu

Language: English - Date: 2014-08-29 11:09:23
74Physics / Workshop on Cryptographic Hardware and Embedded Systems / Wolfgang Pauli / Nationality / European people / Association of Independent Technological Universities / New England Association of Schools and Colleges / Worcester Polytechnic Institute

Call for proposals : “WPI Thematic Programs” The Wolfgang Pauli Institute (WPI) is an interdisciplinary research training “Center of Excellence” in mathematics, physics and informatics/computer science. The WPI o

Add to Reading List

Source URL: www.wpi.ac.at

Language: English - Date: 2013-03-12 10:04:36
75Acronyms / Laser / Photonics / Quantum mechanics / Disk laser / Mode-locking / Gain / Laser science / Optics / Physics

Faculty: Mathematics, Informatics and Natural Sciences Department: Physics Institute: Institut für Laser-Physik within the Cluster of Excellence: “The Hamburg Centre for Ultrafast Imaging (CUI)” Pending funding, Uni

Add to Reading List

Source URL: www.uni-hamburg.de

Language: English - Date: 2014-09-08 08:09:42
76Polynomials / Number theory / Binomial coefficient / Lucas number / Bernoulli polynomials / Mathematics / Fibonacci numbers / Integer sequences

Annales Mathematicae et Informaticae[removed]pp. 255–263 Proceedings of the 15th International Conference on Fibonacci Numbers and Their Applications Institute of Mathematics and Informatics, Eszterházy Károly Coll

Add to Reading List

Source URL: ami.ektf.hu

Language: English - Date: 2013-06-06 05:40:56
77Model theory / Predicate logic / Generalization / Conjunctive query / Structure / First-order logic / Function / Interpretation / FO / Mathematical logic / Logic / Mathematics

Generalizing Conjunctive Queries for Informative Answers Katsumi Inoue and Lena Wiese? National Institute of Informatics[removed]Hitotsubashi, Chiyoda-ku, Tokyo[removed], Japan {ki|wiese}@nii.ac.jp

Add to Reading List

Source URL: wiese.free.fr

Language: English - Date: 2011-12-16 02:42:21
78Educational technology / Technology / Information and communication technologies in education / Diploma in Digital Applications / Computing / Learning platform / Self-review framework / Education / Communication / Information technology

Focus on the Pedagogical Dimension in ICT Literacy for Teachers Valentina Dagiene Methodology Department Institute of Mathematics and Informatics Akademijos 4, 2600 Vilnius Lithuania

Add to Reading List

Source URL: crpit.com

Language: English - Date: 2012-01-19 01:27:17
79Punctuation / Typesetting / Digital typography / Desktop publishing software / TeX / Space / Vowel harmony / Hungarian language / Hungarian grammar / Typography / Linguistics / Graphic design

On the Localization of TEX in Hungary Gy¨ongyi Bujdos´o Department of Computer Graphics and Library and Information Science Institute of Mathematics and Informatics University of Debrecen H-4010 Debrecen, P.O.B. 12

Add to Reading List

Source URL: www.tug.org

Language: English - Date: 2003-03-21 15:33:25
80Punctuation / Typesetting / Digital typography / Desktop publishing software / TeX / Space / Vowel harmony / Hungarian language / Hungarian grammar / Typography / Linguistics / Graphic design

On the Localization of TEX in Hungary Gy¨ongyi Bujdos´o Department of Computer Graphics and Library and Information Science Institute of Mathematics and Informatics University of Debrecen H-4010 Debrecen, P.O.B. 12

Add to Reading List

Source URL: tug.org

Language: English - Date: 2003-03-21 15:33:25
UPDATE